275 research outputs found
Case study: Class diagram restructuring
This case study is an update-in-place refactoring transformation on UML class
diagrams. Its aim is to remove clones of attributes from a class diagram, and
to identify new classes which abstract groups of classes that share common data
features.
It is used as one of a general collection of transformations (such as the
removal of redundant inheritance, or multiple inheritance) which aim to improve
the quality of a specification or design level class diagram.
The transformation is a typical example of a model refactoring, and
illustrates the issues involved in such transformations.Comment: In Proceedings TTC 2013, arXiv:1311.753
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS
This paper provides a solution to the Petri-Nets to statecharts case using
UML-RSDS. We show how a highly declarative solution which is confluent and
invertible can be given using this approach.Comment: In Proceedings TTC 2013, arXiv:1311.753
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case
In this paper we apply the UML-RSDS notation and tools to the "Hello World"
case studies and explain the underlying development process for this model
transformation approach.Comment: In Proceedings TTC 2011, arXiv:1111.440
Language-independent model transformation verification
One hinderance to model transformation verification is the large number of different MT languages which exist, resulting in a large number of different language-specific analysis tools. As an alternative, we define a single analysis process which can, in principle, analyse speci- fications in several different transformation languages, by making use of a common intermediate representation to express the semantics of trans- formations in any of these languages. Some analyses can be performed directly on the intermediate representation, and further semantic models in specific verification formalisms can be derived from it. We illustrate the approach by applying it to ATL
Solving the TTC 2011 Model Migration Case with UML-RSDS
In this paper we apply the UML-RSDS notation and tools to the GMF model
migration case study and explain how to use the UML-RSDS tools.Comment: In Proceedings TTC 2011, arXiv:1111.440
Verification of model transformations
Model transformations are a central element of model-driven
development (MDD) approaches such as the model-driven architecture (MDA). The correctness of model transformations is critical to their effective use in practical software development, since users must be able
to rely upon the transformations correctly preserving the semantics of models. In this paper we define a formal semantics for model transformations, and provide techniques for proving the termination, confluence and correctness of model transformations
Evaluation of Model Transformation Approaches for Model Refactoring
This paper provides a systematic evaluation framework for comparing
model transformation approaches, based upon the ISO/IEC 9126-1
quality characteristics for software systems. We apply this framework to
compare five transformation approaches (QVT-R, ATL, Kermeta, UMLRSDS
and GrGen.NET) on a complex model refactoring case study: the
amalgamation of apparent attribute clones in a class diagram.
The case study highlights the problems with the specification and design
of the refactoring category of model transformations, and provides
a challenging example by which model transformation languages and approaches
can be compared. We take into account a wide range of evaluation
criteria aspects such as correctness, efficiency, flexibility, interoperability,
reusability and robustness, which have not been comprehensively
covered by other comparative surveys of transformation approaches.
The results show clear distinctions between the capabilities and suitabilities
of different approaches to address the refactoring form of transformation
problem
Common mental disorders in young adults born late-preterm
Background Results of adulthood mental health of those born late-preterm (34 + 0–36 + 6 weeks + days of gestation) are mixed and based on national registers. We examined if late-preterm birth was associated with a higher risk for common mental disorders in young adulthood when using a diagnostic interview, and if this risk decreased as gestational age increased. Method A total of 800 young adults (mean = 25.3, s.d. = 0.62 years), born 1985–1986, participated in a follow-up of the Arvo Ylppö Longitudinal Study. Common mental disorders (mood, anxiety and substance use disorders) during the past 12 months were defined using the Composite International Diagnostic Interview (Munich version). Gestational age was extracted from hospital birth records and categorized into early-preterm (<34 + 0, n = 37), late-preterm (34 + 0–36 + 6, n = 106), term (37 + 0–41 + 6, n = 617) and post-term (≥42 + 0, n = 40). Results Those born late-preterm and at term were at a similar risk for any common mental disorder [odds ratio (OR) 1.11, 95% confidence interval (CI) 0.67–1.84], for mood (OR 1.11, 95% CI 0.54–2.25), anxiety (OR 1.00, 95% CI 0.40–2.50) and substance use (OR 1.31, 95% CI 0.74–2.32) disorders, and co-morbidity of these disorders (p = 0.38). While the mental disorder risk decreased significantly as gestational age increased, the trend was driven by a higher risk in those born early-preterm.
Conclusions Using a cohort born during the advanced neonatal and early childhood care, we found that not all individuals born preterm are at risk for common mental disorders in young adulthood – those born late-preterm are not, while those born early-preterm are at a higher risk. Available resources for prevention and intervention should be targeted towards the preterm group born the earliest
An Institutional Framework for Heterogeneous Formal Development in UML
We present a framework for formal software development with UML. In contrast
to previous approaches that equip UML with a formal semantics, we follow an
institution based heterogeneous approach. This can express suitable formal
semantics of the different UML diagram types directly, without the need to map
everything to one specific formalism (let it be first-order logic or graph
grammars). We show how different aspects of the formal development process can
be coherently formalised, ranging from requirements over design and Hoare-style
conditions on code to the implementation itself. The framework can be used to
verify consistency of different UML diagrams both horizontally (e.g.,
consistency among various requirements) as well as vertically (e.g.,
correctness of design or implementation w.r.t. the requirements)
Childhood cognitive ability and physical activity in young adulthood
Objective: Childhood cognitive ability is associated with lifestyle in adulthood, including self-reported physical activity (PA). We examined whether childhood cognitive ability is associated with objectively-measured PA and sedentary time (ST) in young adulthood.
Methods: Participants of the Arvo Ylppö Longitudinal Study (n=500) underwent tests of general reasoning, visuo-motor integration, verbal competence and language comprehension at the age of 56 months yielding a general intelligence factor score; at the age of 25 years they wore omnidirectional accelerometers for 9 days (Range=4-10 days) measuring overall daily PA (counts per minute, cpm), ST and light and moderate-to-vigorous PA (MVPA) (minutes), and completed a questionnaire on occupational, commuting, leisure-time conditioning and non-conditioning PA.
Results: After adjustment for sex, age, BMI-for-age SD score at 56 months and mean of valid minutes of measurement period for PA, per each one SD increase in the childhood general intelligence factor score, overall daily PA decreased by -8.99 CPM/day, ST increased by 14.93 minutes/day, time spent in light PA decreased by -14.39 minutes/day, and the odds per each level increase in physical demandingness of the work and in time spent in non-conditioning leisure-time PA decreased by 38% and 31%, respectively (p-values<0.04). These associations were mediated via higher young adulthood level of education.
Conclusions: In contrast to expected, in this cohort of young adults with high variability in PA, of whom many were still studying, higher childhood cognitive ability was associated with more objectively-measured and self-reported physical inactivity. Whether these findings persist beyond young adulthood is a subject of further studies
- …